learning by contract system

合约制学习法